61. Logic, Proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
62. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
63. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
64. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
65. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
66. Modelle der Mengenlehre
پدیدآورنده : Jensen, Ronald Bjour
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
67. Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
J54
1967
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
68. Modelle der Mengenlehre, Widerspruchsfreiheit und Unabhangigkeit der Kontinuum - Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
69. Modelle der Mengenlehre Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
70. Modelle der Mengenlehre : Widerspruchsireiheit Und Unabhangigkeit der Kontinum-Hypothese und des Auswahlaxioms
پدیدآورنده : Jensen, Ronald Bjorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
37
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
71. Notes on logic and set theory
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
72. Notes on logic and set theory
پدیدآورنده : Johnstone, P. T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
J64
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
73. Notes on logic and set theory
پدیدآورنده : Johnstone, P. T.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic, Symbolic and mathematical.,، Set theory
رده :
QA
9
.
J6N6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
74. Ones and zeroes
پدیدآورنده : John Gregg
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
رده :
TK
,
7888
.
4
,.
G74
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
75. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
پدیدآورنده : edited by G. H. Muller and M. M. Richter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
76. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
77. Quality, Resemblance, and order
پدیدآورنده : Shreider, Iulii Anatolevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S524
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
78. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
79. Quantitative analysis methods for substantive analysts
پدیدآورنده : DeFrancesco, Henry F.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
رده :
QA
276
.
D42
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)